Music can reduce stress and anxiety, enhance positive mood, and facilitate social bonding. However, little is known about the role of music and related personal or cultural variables in maintaining wellbeing during times of stress and social isolation as imposed by the COVID-19 crisis. In an online questionnaire, administered in 11 countries, participants rated the relevance of wellbeing goals during the pandemic, and the effectiveness of different activities in obtaining these goals. Music was found to be the most effective activity (...) for three out of five wellbeing goals: enjoyment, venting negative emotions, and self-connection. For diversion, music was equally good as entertainment, while it was second best to create a sense of togetherness, after socialization. This result was evident across different countries and gender, with minor effects of age on specific goals, and a clear effect of the importance of music in people's lives. Cultural effects were generally small and surfaced mainly in the use of music to obtain a sense of togetherness. Interestingly, culture moderated the use of negatively valenced and nostalgic music for those higher in distress. (shrink)

Strict/tolerant logic is a formally defined logic that has the same consequence relation as classical logic, though it differs from classical logic at the metaconsequence level. Specifically, it does not satisfy a cut rule. It has been proposed for use in work on theories of truth because it avoids some objectionable features arising from the use of classical logic. Here we are not interested in applications, but in the formal details themselves. We show that a wide range of logics have (...) strict/tolerant counterparts, with the same consequence relations but differing at the metaconsequence level. Among these logics are Kleene’s K3\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\mathsf {K_3}$$\end{document}, Priest’s LP\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf {LP}}$$\end{document}, and first-degree entailment, FDE. The primary tool we use is the bilattice. But it is more than a tool, it seems to be the natural home for this kind of investigation. (shrink)

Henüz çok az çalışılmış veba risaleleri on dördüncü yüzyılın ortasındaki Kara Ölüm kıyametinden sonra yüzyıllarca tekrarlayan salgınlarla Batı Avrasya’yı kasıp kavuran kültürel dönüşümlere tanıklık eder. Bu türe Osmanlı katkıları, emperyal-bilimsel erken modernitenin ortaya çıkışını izlememize olanak sağlaması açısından örneklik teşkil eder. Bu makale bilinen en kapsamlı ve yenilikçi İslami veba risalesini, Taşköprîzâde Ahmed’in (ö.1561) Risâletü’ş-Şifâ’sını sunmaktadır. Bu eserde ünlü Osmanlı hezarfeni, hem dinî hem rasyonel argümanlar takdim ederek okült bilimin vebayı önlemede ve tedavi etmede en deneysel yöntem olduğuna dair çok (...) güçlü bir argüman oluşturur. Bu amaçla, eserin teorik ilk yarısını tevekkülü tesebbübe veya kör inancı “bilimsel yöntem”e tercih eden kaderci âlimlerin ve sûfîlerin eleştirisine ayırır; uygulamaya dair olan ikinci yarı ise yaşadığı dönemin tıbbi olarak en etkili bilimsel disiplini olduğunu düşündüğü, genel olarak Batı erken modernitesinin “kozmolojik tahayyül”ünü kapsayan, dünyanın pek çok düşünür ve fail tarafından matematiksel ve dolayısıyla sihirli bir şekilde izlenebilen bir metin olarak görüldüğü Yeni Pisagorcu bir bilim olan harfîliğe (ilm-i hurûf) ayrılmıştır. Okült bilimden hoşnutsuzluğumuza rağmen, Taşköprîzâde burada bir başka erken modern deneyimci olarak adlandırılmalıdır. (shrink)

A propositional logic of explicit proofs, LP, was introduced in [S. Artemov, Explicit provability and constructive semantics, The Bulletin for Symbolic Logic 7 1–36], completing a project begun long ago by Gödel, [K. Gödel, Vortrag bei Zilsel, translated as Lecture at Zilsel’s in: S. Feferman , Kurt Gödel Collected Works III, 1938, pp. 62–113]. In fact, LP can be looked at in a more general way, as a logic of explicit evidence, and there have been several papers along these lines. (...) A major result about LP is the Realization Theorem, that says any theorem of S4 can be converted into a theorem of LP by some replacement of necessitation symbols with explicit proof terms. Thus the necessitation operator of S4 can be seen as a kind of implicit existential quantifier: there exists a proof term such that…. In this paper, quantification over evidence is introduced into LP, and it is shown that the connection between S4 necessitation and the existential quantifier becomes an explicit one. The extension of LP with quantifiers is called QLP. A semantics and an axiom system for QLP are given, soundness and completeness are established, and several results are proved relating QLP to LP and to S4. (shrink)

The family of all stable models for a logic program has a surprisingly simple overall structure, once two naturally occurring orderings are made explicit. In a so-called knowledge ordering based on degree of definedness, every logic program P has a smallest stable model, sk P — it is the well-founded model. There is also a dual largest stable model, S k P, which has not been considered before. There is another ordering based on degree of truth. Taking the meet and (...) the join, in the truth ordering, of the two extreme stable models sk P and S.. (shrink)

One can add the machinery of relation symbols and terms to a propositional modal logic without adding quantifiers. Ordinarily this is no extension beyond the propositional. But if terms are allowed to be non-rigid, a scoping mechanism (usually written using lambda abstraction) must also be introduced to avoid ambiguity. Since quantifiers are not present, this is not really a first-order logic, but it is not exactly propositional either. For propositional logics such as K, T and D, adding such machinery produces (...) a decidable logic, but adding it to S5 produces an undecidable one. Further, if an equality symbol is in the language, and interpreted by the equality relation, logics from K4 to S5 yield undecidable versions. (Thus transitivity is the villain here.) The proof of undecidability consists in showing that classical first-order logic can be embedded. (shrink)

We present non-clausal resolution systems for propositional modal logics whose Kripke models do not involve symmetry, and for first order versions whose Kripke models do not involve constant domains. We give systems for K, T , K4 and S4; other logics are also possible. Our systems do not require preliminary reduction to a normal form and, in the first order case, intermingle resolution steps with Skolemization steps.

There is an error in the completeness proof for the {λ, =} part of FOIL-K. The error occurs in Section 4, in the text following the proof of Corollary 4.7, and concerns the definition of the interpretation I on relation symbols. Before this point in the paper, for each object variable v an equivalence class v has been defined, and for each intension variable f a function f has been defined. Then the following definition is given for a relation symbol (...) P : v1, v2, . . . , f1, f2, . . . ∈ I(P )(Γ) just in case there are w1, w2, . . . in d(Γ) with wi ∈ vi such that P (w1, w2, . . . , f1, f2, . . .) ∈ Γ. It was pointed out by Torben Brauner that we could have f1 and g1 being the same function, but also have P (w1, w2, . . . , f1, f2, . . .) ∈ Γ without having P (w1, w2, . . . , g1, f2, . . .) ∈ Γ. Our solution is to modify the definition of the model, rather artificially, so that if f and g are the same function, then f and g are syntactically the same intension variable. This is done as follows. First, arbitrarily choose some object variable w, and its corresponding equivalence class w. For each intension variable f we define a disambiguation world ˆ. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy, Psychiatry, & Psychology 10.4 (2003) 295 [Access article in PDF] Agency, Narrative, and Self:A Philosophical Case Conference John Z. Sadler and K. W. M. Fulford This issue of PPP features our second "philosophical case conference," which addresses three important and interrelated concepts in the philosophy of psychiatry. Our first philosophical case conference (Philosophy, Psychiatry, and Psychology Volume 5, Number 2, 1998) featured detailed case material concerning the manifold (...) issues involved in psychiatric euthanasia. For this issue, guest edited by J. Melvin Woody, the rich cases supplied by Lloyd Wells provide the foundation for a discussion of narrative accounts of the self and what it means to be an agent.Philosophical case conferences are an occasional feature of PPP, and develop topics to satisfy one or more criteria: to provide discussions that are important to clinical practice or research, to embed current or perennial philosophical debates in the nitty gritty of clinical practice and personal experience, and/or to provide a clinical testing ground for new conceptual developments relevant to the philosophy of psychiatry.The format for this issue involves four feature articles, the first by Wells, presenting detailed case material of several patients, followed by discussions (by Kennett & Matthews, Phillips, and Woody) inspired by, or addressing explicitly, the philosophical questions implied in such cases. Following these four feature articles, a panel of commentators (Glas, Hardcastle, Radden, Thornton, Weiner, Woodbridge) respond to the four feature articles as they wish, providing the variations on the agency, narrative, and self themes. We think you will find this issue of PPP to be a fine example of what the philosophy of psychiatry can do, and we give our abundant thanks to Mel Woody for putting this issue together.... (shrink)

We wish here to consider the theory of a population or system made up of individuals whose number and size change with time. As usual, the description of these changes will be referred to as the kinetics, whereas the description of the special circumstances under which unchanging conditions subsist will be called the statics of the population. A third category, the conditions for a steady state, i.e., when the variables inside the system do not change, but linked variables outside do, (...) will be described by what we shall call the rheostatics of the system. All three, statics, rheostatics, and kinetics are subdivisions of the general dynamics of the system. (shrink)

The new economy is characterized in the developing world by open capital markets and coordinated international regulation - neither of which existed in the colonial period.

Proposed as an alternative political philosophy to liberalism, contemporary republicanism articulates a systematic theory of freedom as non-domination. Does it make sense, however, to think about the difference between liberals and republicans along the lines of freedom? This article answers in the negative, maintaining that the distinction is purchased at the cost of misdescribing liberal theory. Focusing on the work of Quentin Skinner and Philip Pettit, I maintain that the mischaracterization takes place at two levels. The first is the link (...) that is drawn between Thomas Hobbes and classical and contemporary liberals. The second has to do with republicans' refusal to acknowledge the normative framework in which liberal freedom takes root and is made politically defensible. This framework, I argue, comprises a constellation of other concepts, such as consent, publicity, and the rule of law that are part and parcel of liberal freedom. Once these features are taken into consideration, what emerges is a view of liberalism that means something less than being free from any and all constraints, but which also means something more than being free from actual interference. (shrink)

The long-tailed macaque (Macaca fascicularis fascicularis) is a non-human primate species that is native to Singapore. From mid-2020, the Nanyang Technological University campus witnessed a sharp increase in the number of human–macaque encounters. In this article, we will first identify a set of technological tools that we have developed to guide decision- and policy-making on the wildlife management front and mitigate human–macaque conflict. Thereafter, we will describe how we applied these tools to the activity log cataloguing the macaque activity on (...) campus and offer an analysis of the trends in macaque behaviour that may be shared with members of the public and affected residents. Among the results that will be discussed are the following: a significant decline in the number of macaque sightings at Student Residences over the weekend, a majority of the reported macaque sightings occurring in the early evening, no significant difference in the damage and proximity scores over time, and a trend in observed macaque activity at critical sleep-relevant time intervals and areas on campus. We hope that our approach will promote, through an improved and data-driven understanding of macaque behavioural trends, technology-assisted decision-making and a more harmonious co-existence between humans and macaques on campus and in Singapore. Last but not least, we anticipate further extensions of our approach with respect to other forms of wildlife. (shrink)

The long-tailed macaque (Macaca fascicularis fascicularis) is a non-human primate species that is native to Singapore. From mid-2020, the Nanyang Technological University campus witnessed a sharp increase in the number of human–macaque encounters. In this article, we will first identify a set of technological tools that we have developed to guide decision- and policy-making on the wildlife management front and mitigate human–macaque conflict. Thereafter, we will describe how we applied these tools to the activity log cataloguing the macaque activity on (...) campus and offer an analysis of the trends in macaque behaviour that may be shared with members of the public and affected residents. Among the results that will be discussed are the following: a significant decline in the number of macaque sightings at Student Residences over the weekend, a majority of the reported macaque sightings occurring in the early evening, no significant difference in the damage and proximity scores over time, and a trend in observed macaque activity at critical sleep-relevant time intervals and areas on campus. We hope that our approach will promote, through an improved and data-driven understanding of macaque behavioural trends, technology-assisted decision-making and a more harmonious co-existence between humans and macaques on campus and in Singapore. Last but not least, we anticipate further extensions of our approach with respect to other forms of wildlife. (shrink)

Guiding you through the topics that shape aesthetics, this introduction explores the truth, meaning, taste, aesthetic merit and the role of perception. Each chapter offers a wealth of examples from Asia, including Sonny Liew's The Art of Charlie Chan Hock Chye, Tan Tai Yong, Kueh Appreciation Day and dragon kiln pottery. They deal with controversies and address central questions, such as: When are artworks considered dangerous? Why does Socrates recommend the banishment of the poets? What are the problems and challenges (...) posed by forgery? Here is a creative and accessible introduction that inspires a love for art and aesthetics. (shrink)

How might we philosophize about the metaverse? It is traditionally held that the four main branches of philosophy are metaphysics, epistemology, axiology, and logic. In this article, I shall demonstrate how virtual walt-fictionalism, a particular version of virtual irrealism, is able to offer a straightforward, internally consistent, and powerful response about the metaphysics, epistemology, and axiology (ethics) of the metaverse. I will first characterize the metaverse in terms of a reality-virtuality (RV) continuum and distinguish between virtual realism and virtual irrealism, (...) before elaborating on the explanatory power and potential of virtual walt-fictionalism relative to the metaphysics, epistemology, and axiology (ethics) of the metaverse. (shrink)

This is a thorough treatment of first-order modal logic. The book covers such issues as quantification, equality (including a treatment of Frege's morning star/evening star puzzle), the notion of existence, non-rigid constants and function symbols, predicate abstraction, the distinction between nonexistence and nondesignation, and definite descriptions, borrowing from both Fregean and Russellian paradigms.

_The Undiscovered Dewey_ explores the profound influence of evolution and its corresponding ideas of contingency and uncertainty on John Dewey's philosophy of action, particularly its argument that inquiry proceeds from the uncertainty of human activity. Dewey separated the meaningfulness of inquiry from a larger metaphysical story concerning the certainty of human progress. He then connected this thread to the way in which our reflective capacities aid us in improving our lives. Dewey therefore launched a new understanding of the modern self (...) that encouraged intervention in social and natural environments but which nonetheless demanded courage and humility because of the intimate relationship between action and uncertainty. Melvin L. Rogers explicitly connects Dewey's theory of inquiry to his religious, moral, and political philosophy. He argues that, contrary to common belief, Dewey sought a place for religious commitment within a democratic society sensitive to modern pluralism. Against those who regard Dewey as indifferent to moral conflict, Rogers points to Dewey's appreciation for the incommensurability of our ethical commitments. His deep respect for modern pluralism, argues Rogers, led Dewey to articulate a negotiation between experts and the public so that power did not lapse into domination. Exhibiting an abiding faith in the reflective and contestable character of inquiry, Dewey strongly engaged with the complexity of our religious, moral, and political lives. (shrink)

The purpose of this essay is to both discuss commands as a species of speech act and to discuss commands within the broader framework of how they are used and ...

This book contains new essays in honor of Melvin J. Lerner, a pioneer in the psychological study of justice. The contributors to this volume are internationally renowned scholars from psychology, business, and law. They examine the role of justice motivation in a wide variety of contexts, including workplace violence, affirmative action programs, helping or harming innocent victims and how people react to their own fate. Contributors explore fundamental issues such as whether people's interest in justice is motivated by self-interest (...) or a genuine concern for the welfare of others, when and why people feel a need to punish transgressors, how a concern for justice emerges during the development of societies and individuals, and the relation of justice motivation to moral motivation. How an understanding of justice motivation can contribute to the amelioration of major social problems is also examined. (shrink)

In this paper, I will identify two problems of trust in an AI-relevant context: a theoretical problem and a practical one. I will identify and address a number of skeptical challenges to an AI-relevant theory of trust. In addition, I will identify what I shall term the ‘scope challenge’, which I take to hold for any AI-relevant theory of trust that purports to be representationally adequate to the multifarious forms of trust and AI. Thereafter, I will suggest how trust-engineering, a (...) position that is intermediate between the modified pure rational-choice account and an account that gives rise to trustworthy AI, might allow us to address the practical problem of trust, before identifying and critically evaluating two candidate trust-engineering approaches. (shrink)

Mahadevan proposes that we are at the cusp of imagination science, one of whose primary concerns will be the design of imagination machines. Programs have been written that are capable of generating jokes, producing line-drawings that have been exhibited at such galleries as the Tate, composing music in several styles reminiscent of such greats as Vivaldi and Mozart, proving geometry theorems, and inducing quantitative laws from empirical data. In recent years, Dartmouth has been hosting Turing Tests in creativity in three (...) categories: short stories, sonnets, and dance music DJ sets. In this post, I will provide a brief and non-exhaustive survey of some plausible responses to these imagination machines and the related prospects for our understanding of the imagination. (shrink)

This paper attempts to make more explicit the relationship between narrativity and feminist care ethics. The central concern is the way in which narrativity carries the semantic load that some accounts of feminist care ethics imply but leave hanging. In so doing, some feminist theorists of care-based ethics then undervalue the major contribution that narrativity provides to care ethics: it carries the semantic load that is essential to the best care. In this article, I defend the narrative as the central (...) medium though which we make sense of and communicate our lives and their attendant hopes and cares. More than just working with the narrative of the cared-for, caring is about investing in the narrative of the cared-for in order to meet the needs of this cared-for and how this narrative might turn out. I will further demonstrate how the attitude of caring or investing in a narrative would amount to what Gabriel Marcel has described as the attitude of disponibilité. (shrink)

Could translation be fully automated? We must first acknowledge the complexity, ambiguity, and diversity of natural languages. These aspects of natural languages, when combined with a particular dilemma known as the computational dilemma, appear to imply that the machine translator faces certain obstacles that a human translator has already managed to overcome. At the same time, science has not yet solved the problem of how human brains process natural languages and how human beings come to acquire natural language understanding. We (...) will then distinguish between the task of translation and the responsibility of the translator. Thereafter, we will conduct a survey of the methods of machine translation (viz. RBMT, SMT, NMT, foundation models or large language models). These methods will then be critically evaluated both in general and relative to Bar-Hillel’s hypothesis about the impossibility of fully automatic, high-quality machine translation (F ahqmt ). Some concluding remarks will be made about the scope, prospects, and limits of machine translation. (shrink)

Contrary to the received understanding that Francisco de Vitoria and Francisco Suárez ruled out religious war by grounding just cause in natural law, they supported a robust view of papal authority for war when necessary for the defense of the church against heretics, schismatics, and pagans as well as for the spread of Christianity and Christendom throughout the world. They believed that religious wars were in accord with natural law as a means to its fulfillment in Christianity, as a justification (...) for the defense of the church as the one true faith, and as a moral obligation to provide all of humanity with the opportunity to receive Christian truth and grace. The neo‐Thomists' vigorous support for religious war was in the mainstream of the Christian just war tradition from the time of the wars against pagans in the early middle ages through their own time. This finding and the continuation into the modern era of sanctified patriotism stemming from the mixing of church and state especially during war that began in early Middle Ages, along with the historic roots of the recently prominent presumption against war, argue for a more complex understanding of the normative Christian just war tradition than that found among supporters of the classic interpretation of that tradition. (shrink)